Finite Homotopy Bases of One-Relator Monoids
نویسندگان
چکیده
منابع مشابه
On One-relator Inverse Monoids and One-relator Groups
It is known that the word problem for one-relator groups and for one-relator monoids of the form Mon〈A ‖ w = 1〉 is decidable. However, the question of decidability of the word problem for general one-relation monoids of the form M = Mon〈A ‖ u = v〉 where u and v are arbitrary (positive) words in A remains open. The present paper is concerned with one-relator inverse monoids with a presentation o...
متن کاملDivisibility problem for one relator monoids
Theorem 1 The word problem for any 1-relator monoids can be reduced to the left side divisibility problem for monoids M presented in 2 generators by 1 defining relation of the form aU = bV . For the solution of this problem it sufficies to find an algorithm to recognize for any word aW (or for any word bW ) whether or not it is left side divisible in M by the letter b (accordingly by the letter...
متن کاملHomotopy bases and finite derivation type for Schützenberger groups of monoids
Given a finitely presented monoid and a homotopy base for the monoid, and given an arbitrary Schützenberger group of the monoid, the main result of this paper gives a homotopy base, and presentation, for the Schützenberger group. In the case that the R-class R of the Schützenberger group G (H) has only finitely many H -classes, and there is an element s of the multiplicative right pointwise sta...
متن کاملUp-to-Homotopy Monoids
Informally, a homotopy monoid is a monoid-like structure in which properties such as associativity only hold ‘up to homotopy’ in some consistent way. This short paper comprises a rigorous definition of homotopy monoid and a brief analysis of some examples. It is a much-abbreviated version of the paper ‘Homotopy Algebras for Operads’ (math.QA/0002180), and does not assume any knowledge of operads.
متن کاملStrongly Homotopy-Commutative Monoids Revisited
We prove that the delooping, i. e., the classifying space, of a grouplike monoid is an H-space if and only if its multiplication is a homotopy homomorphism, extending and clarifying a result of Sugawara. Furthermore it is shown that the Moore loop space functor and the construction of the classifying space induce an adjunction of the according homotopy categories. 2000 Mathematics Subject Class...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2000
ISSN: 0021-8693
DOI: 10.1006/jabr.1999.8251